MoCHi: Software Model Checker for a Higher-Order Functional Language Ryosuke Sato Hiroshi Unno

Source URL: www.cs.tsukuba.ac.jp

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA

Source URL: geog.ucsb.edu

• Logic
• Abstraction
• Philosophy
• Non-classical logic
• Model theory
• Reasoning
• Knowledge representation
• Logic programming
• Default logic
• Description logic
• First-order logic
• Web Ontology Language

Model Catalog Language Feb 22, 2012

Source URL: www.sb1440.org

COGNITION ELSEVIER Cognition W h e n do speakers take into account c o m m o n

Source URL: psychology.uchicago.edu

• Semantics
• Philosophy of language
• Meaning
• Philosophical logic
• Audience design
• Psycholinguistics
• Collaborative model
• Pragmatics

AUTOMATIC LECTURE TRANSCRIPTION BY EXPLOITING PRESENTATION SLIDE INFORMATION FOR LANGUAGE MODEL ADAPTATION Tatsuya Kawahara Yusuke Nemoto

Source URL: www.ar.media.kyoto-u.ac.jp

The GEMOC Initiative On the Globalization of Modeling Languages The New Grand Challenge of the Globalization of Modeling Languages

Source URL: gemoc.org

• Unified Modeling Language
• Scientific modeling
• Integrated development environments
• Modeling language
• Domain-specific modeling
• Conceptual model
• Eclipse
• Systems engineering

Scalable Modified Kneser-Ney Language Model Estimation Kenneth Heafield∗,† Ivan Pouzyrevsky‡ Jonathan H. Clark† Philipp Koehn∗ †

Source URL: kheafield.com

Diagrams Definition A literal is an atomic sentence or the negation of an atomic sentence. If M is a model in a language L, then the collection of LM -literals true in M is called the diagram of M and written Diag(M). Th

Source URL: staff.fnwi.uva.nl

INTERSPEECHICSLP Sentence Boundary Detection of Spontaneous Japanese using Statistical Language Model and Support Vector Machines Yuya Akita1,2

Source URL: www.ar.media.kyoto-u.ac.jp